stipulation as to time